heterogeneous quantifier

非纯一量词